the king is dead, long live the king - German English Dictionary